Compressed data structures for Heegaard splittings
arxiv.org·9h
🕳️Persistent Homology
Checking data integrity
eclecticlight.co·6h
✅Checksum Validation
A Minimal DDPM
github.com·11h·
Discuss: Hacker News
🧠Machine Learning
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·3h·
Discuss: r/MachineLearning
📊Learned Metrics
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·1h
🔧RISC-V Assembler
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·16h
🔢Bitwise Algorithms
Computer Architecture: A quantitative approach
ikerexxe.github.io·2d
🖥️Hardware Architecture
Linkage
11011110.github.io·21h
🕸️Algebraic Topology
A distributed systems reliability glossary
antithesis.com·22h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Novel approach reduces alloy microstructure prediction from years to minutes
phys.org·22h
🧲Magnetic Recording
News for June 2025
ptreview.sublinear.info·2d
🕸️Graph Algorithms
Billions of Edges per Second with Postgres
onesparse.com·18h·
Discuss: Hacker News
🗜️Graph Compression
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·9h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·15h·
Discuss: Hacker News
🎯Interactive Provers
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·21h
🔗Hash Chains
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·9h
🌀Fractal Compression
Multiplying vectors: An introduction to geometric algebra
niklasbuschmann.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification